The European Association for Theoretical Computer Science (EATCS[1]) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.
The major activities of the EATCS are:
Contents |
Each year, the EATCS Award[6] is awarded in recognition of a distinguished career in theoretical computer science. The first award was assigned to Richard Karp in 2000; the complete list of the winners is given below:
| Year | Awarded | Place |
|---|---|---|
| 2011 | Boris Trakhtenbrot | ICALP (Zurich) |
| 2010 | Kurt Mehlhorn | ICALP (Bordeaux) |
| 2009 | Gérard Huet | ICALP (Rhodes) |
| 2008 | Leslie G. Valiant | ICALP (Reykjavik) |
| 2007 | Dana S. Scott | ICALP (Wroclaw) |
| 2006 | Mike Paterson | ICALP (Venice) |
| 2005 | Robin Milner | ICALP (Lisboa) |
| 2004 | Arto Salomaa | ICALP (Turku) |
| 2003 | Grzegorz Rozenberg | ICALP (Eindhoven) |
| 2002 | Maurice Nivat | ICALP (Málaga) |
| 2001 | Corrado Böhm | ICALP (Creta) |
| 2000 | Richard Karp | ICALP (Geneva) |